Subalgebras and Homomorphic Images of the Rieger-nishimura Lattice
نویسندگان
چکیده
In this note we characterize all subalgebras and homomorphic images of the free cyclic Heyting algebra, also known as the RiegerNishimura lattice N . Consequently, we prove that every subalgebra of N is projective, that a finite Heyting algebra is a subalgebra of N iff it is projective, and characterize projective homomorphic images of N . The atoms and co-atoms of the lattice of all subalgebras of N are also characterized, along with the Frattini subalgebra of N .
منابع مشابه
INTERVAL-VALUED FUZZY B-ALGEBRAS
In this note the notion of interval-valued fuzzy B-algebras (briefly,i-v fuzzy B-algebras), the level and strong level B-subalgebra is introduced.Then we state and prove some theorems which determine the relationshipbetween these notions and B-subalgebras. The images and inverse images ofi-v fuzzy B-subalgebras are defined, and how the homomorphic images andinverse images of i-v fuzzy B-subalge...
متن کاملGeneralized Priestley Quasi-Orders
We introduce generalized Priestley quasi-orders and show that subalgebras of bounded distributive meet-semilattices are dually characterized by means of generalized Priestley quasi-orders. This generalizes the well-known characterization of subalgebras of bounded distributive lattices by means of Priestley quasiorders (Adams, Algebra Univers 3:216–228, 1973; Cignoli et al., Order 8(3):299– 315,...
متن کاملFUZZY CONVEX SUBALGEBRAS OF COMMUTATIVE RESIDUATED LATTICES
In this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. In particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruence relations and the set of all fuzzy convex subalgebras on a commutative residuated lattice. Then we study fuzzy...
متن کاملOn Some Operators on Pseudovarieties
Birkhoff’s theorem [1] asserts that a class of algebras of a given type τ : T → N is a variety if and only if it is closed under operation of passing to subalgebras, homomorphic images and also arbitrary direct products. Motivated by applications of the theory of automata Eilenberg and Schützenberger considered in [2], [3] classes of finite monoids closed under subalgebras, homomorphic images a...
متن کاملInterval-Valued Fuzzy BF -Algebras
In this note the notion of interval-valued fuzzy BF -algebras (briefly, i-v fuzzy BF -algebras), the level and strong level BF -subalgebra is introduced. Then we state and prove some theorems which determine the relationship between these notions and BF -subalgebras. The images and inverse images of i-v fuzzy BF -subalgebras are defined, and how the homomorphic images and inverse images of i-v ...
متن کامل